Construction of negatively curved complete intersections

Using the Donaldson–Auroux theory, we construct complete intersections in complex projective manifolds, which are negatively curved various ways. In particular, prove existence of compact simply connected Kähler manifolds with negative holomorphic bisectional curvature. We also hyperbolic hypersurfaces, and obtain bounds for their Kobayashi metric.